Local consistency

Results: 221



#Item
31Applied mathematics / Logic in computer science / Maximum satisfiability problem / MAX-3SAT / Belief propagation / Conjunctive normal form / Local search / WalkSAT / Local consistency / Theoretical computer science / Constraint programming / Mathematics

Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2008-11-06 22:58:52
32Local consistency / Constraint satisfaction problem / Vector space / Algebra / Constraint programming / Mathematics

An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, Fran

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2012-06-06 05:07:36
33Local consistency / Mathematics / Flow network / Applied mathematics / Theoretical computer science / Constraint programming / Network flow / Operations research

Buffered Resource Constraint: Algorithms and Complexity Christian Bessiere1 , Emmanuel Hebrard2 , Marc-Andr´e M´enard3 , Claude-Guy Quimper3 , and Toby Walsh4 1

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-02-13 08:25:28
34Constraint satisfaction / Decomposition method / Constraint inference / Constraint programming / Local consistency / Constraint satisfaction problem

The ROOTS Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh5 1 3

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:29
35Mathematics / Constraint satisfaction / Local consistency / Constraint optimization / Mathematical optimization / Polynomial / Function / Boolean satisfiability problem / AC-3 algorithm / Constraint programming / Software engineering / Theoretical computer science

Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:31
36Computing / Local consistency / Constraint satisfaction / Backtracking / Mathematical optimization / Decomposition method / Constraint optimization / Constraint programming / Software engineering / Computer programming

Distance Constraints in Constraint Satisfaction Emmanuel Hebrard 4C, Computer Science Dept. UCC, Ireland Barry O’Sullivan

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:33
37Multivariate statistics / Cluster analysis / Geostatistics / Machine learning / Outlier / K-means clustering / CURE data clustering algorithm / Consensus clustering / Statistics / Data analysis / Data mining

Clustering with Local and Global Consistency Markus Breitenbach Department of Computer Science University of Colorado, Boulder

Add to Reading List

Source URL: www.cs.colorado.edu

Language: English - Date: 2004-06-24 11:16:42
38Geometry / Symmetry in mathematics / Group / Algorithm / PROPT / Local consistency / Symmetry / Mathematics / Theoretical physics

Journal of Artificial Intelligence Research520 Submitted 10/08; published 3/09 Exploiting Single-Cycle Symmetries in Continuous Constraint Problems

Add to Reading List

Source URL: jair.org

Language: English - Date: 2009-03-31 16:57:43
39Mathematics / Local consistency / Constraint satisfaction / Constraint optimization / Mathematical optimization / Static single assignment form / FO / Variable / Parameterized complexity / Constraint programming / Software engineering / Theoretical computer science

A Soft Constraint of Equality: Complexity and Approximability? Emmanuel Hebrard, Barry O’Sullivan, and Igor Razgon Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {e.

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:30
40Computing / Local consistency / Backtracking / Search algorithm / Linear programming / Constraint satisfaction / Hidden transformation / Constraint programming / Software engineering / Computer programming

Constraint Programming Emmanuel Hebrard Toulouse Outline

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-02-17 03:07:15
UPDATE